Using the probabilistic evaluation tool for the analytical solution of large Markov models

Stochastic Petri net-based Markov modeling is a potentially very powerful and generic approach for evaluating the performance and dependability of many different systems, such as computer systems, communication networks, manufacturing systems, etc. As a consequence of their general applicability, SPN-based Markov models form the basic solution approach for several software packages that have been developed for the analytic solution of performance and dependability models. In these tools, stochastic Petri nets are used to conveniently specify complicated models, after which an automatic mapping can be carried out to an underlying Markov reward model. Subsequently, this Markov reward model is solved by specialized solution algorithms, appropriately selected for the measure of interest. One of the major aspects that hampers the use of SPN-based Markov models for the analytic solution of performance and dependability results is the size of the state space. Although typically models of up to a few hundred thousand states can conveniently be solved on modern-day work-stations, often even larger models are required to represent all the desired detail of the system. Our tool PET (probabilistic evaluation tool) circumvents problems of large state spaces when the desired performance and dependability measure are transient measures. It does so by an approach named probabilistic evaluatio

De Paganelgrondel (<i>Gobius paganellus</i> Linnaeus 1758) in de zuidelijke Noordzee

The first living specimen of the Rock goby (Gobius paganellus) in Dutch coastal waters is reported. It was found in the Eastern Scheldt in June 2005. The earliest records of this species in the North Sea date back to 1991 in the Thames estuary. In 1997 G. paganellus was caught on a stony seabed on the Belgian continental flat

Risks of Offline Verify PIN on Contactless Cards

Contactless card payments are being introduced around the world al- lowing customers to use a card to pay for small purchases by simply placing the card onto the Point of Sale terminal. Contactless transactions do not require veri- fication of the cardholder’s PIN. However our research has found the redundant verify PIN functionality is present on the most commonly issued contactless credit and debit cards currently in circulation in the UK. This paper presents a plausible attack scenario which exploits contactless verify PIN to give unlimited attempts to guess the cardholder’s PIN without their knowledge. It also gives experimental data to demonstrate the practical viability of the attack as well as references to support our argument that contactless verify PIN is redundant functionality which compromises the security of payment cards and the cardholder

A relation between circumnuclear HI, dust, and optical cores in low-power radio galaxies

From new observations and literature data we investigate the presence of HI, dust, and optical cores in the central kiloparsec of low-power radio galaxies. The goal of this pilot study is to identify physical relations between these components, which can help us to study kinematics and feeding mechanisms in future samples of active galaxies. Our results are consistent with neutral gas being associated with dust on sub-kiloparsec scales. Objects that have HI absorption always have significant amounts of dust in their host galaxy. If there is no visible dust in the host galaxy, there is also no HI absorption. The presence of an unresolved optical core correlates with the HI column density, with the core being absent in high column density sources. This work opens a path for studying the kinematics of cold material in the central regions of active galaxies by combining information of HI absorption and molecular lines. Consistent with previous work, we find no evidence for a compact, parsec-scale obscuring torus in low-power radio galaxies.Comment: Accepted for publication in A&

Performance of a connectionless protocol over ATM

Recent studies show the existence of a demand for a connectionless broadband service. In order to cope with this demand, a connectionless protocol for the B-ISDN needs to be designed. Such a protocol should make use of ATM and the ATM Adaptation Layer. It needs to specify destination and bandwidth of connections to the ATM network without advance knowledge of the traffic that has to be transferred over these connection. A possible mechanism which can cope with this problem, the 'On-demand Connection with Delayed Release' (OCDR) mechanism, is described. Its eficient operation is based on the assumption that there exists a certain correlation between subsequently arriving CL packets. Two different arrival processes are used to evaluate the performance of the OCDR mechanism: a Poisson arrival process, and a Markov Modulated Poisson Process (MMPP) which models a bursty trafic source. Markov models of the OCDR mechanism have been constructed for both arrival processes. For the madel with Poisson arrivals, a closed form solution is presented. The model with MMPP arrivals is solved numerically.\ud Compared to a 'Permanent Connection' mechanism significant bandwidth reductions can be obtained provided that the offered trafic has a bursty nature. Furthermore, the OCDR mechanism has the advantageous property that the obtained average node delay is not strongly related to the intensity and burstiness of the offered trafic

A method for analyzing the performance aspects of the fault-tolerance mechanisms in FDDI

The ability of error recovery mechanisms to make the Fiber Distributed Data Interface (FDDI) satisfy real-time performance constraints in the presence of errors is analyzed. A complicating factor in these analyses is the rarity of the error occurrences, which makes direct simulation unattractive. Therefore, a fast simulation technique, called injection simulation, which makes it possible to analyze the performance of FDDI, including its fault tolerance behavior, was developed. The implementation of injection simulation for polling models of FDDI is discussed, along with simulation result